| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Datenkommunikation | Fach-/Modulprüfung | 6 | 531707 | ||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 510423 | Di 14:30-16:00 3220|259 (×13) Mi 14:30-16:00 3220|259 (×12) | Mo 21.07.2025 | |
| Funktionale Sicherheit und Systemzuverlässigkeit | Fach-/Modulprüfung | 6 | 531304 | ||
| Vorlesung/Übung | 534290 | Di 14:30-16:00 H09 (1385|220) (×13) Do 12:30-14:00 H06 (1385|004) (×10) | |||
| Mikrocontrollerprogrammierung und Fehlersuche | Fach-/Modulprüfung | 6 | 530387 | ||
| Vorlesung/Übung | 527000 | Di 12:30-14:00 H09 (1385|220) (×12) Mi 08:30-10:00 H11 (1385|218) (×13) | |||
| Vorlesung/Übung | 527000 | Di 12:30-14:00 H09 (1385|220) (×12) Mi 08:30-10:00 H11 (1385|218) (×13) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 531296 | ||
| Rapid Control Prototyping | Fach-/Modulprüfung | 5 | 527922 | Mi 23.07.2025 12:00-14:00 Couven-Halle (nur ePruefungen) (1072|001) ZuseLab C4 (2315|201) | |
| Vorlesung | 524632 | Di 08:30-10:00 PPS H2 (2315|001) (×14) | |||
| Übung | 525383 | Di 10:15-11:45 ZuseLab C1 (2315|107) (×13) Di 10:15-11:45 ZuseLab C2 (2315|106) (×13) | |||
| Software-Qualitätssicherung | Fach-/Modulprüfung | 6 | 531253 |